The approximation property for some $5$-dimensional Henselian rings
نویسندگان
چکیده
منابع مشابه
Definable Henselian Valuation Rings
We give model theoretic criteria for the existence of∃∀ and∀∃formulas in the ring language to define uniformly the valuation rings O of models (K,O) of an elementary theory Σ of henselian valued fields. As one of the applications we obtain the existence of an ∃∀-formula defining uniformly the valuation rings O of valued henselian fields (K,O) whose residue class field k is finite, pseudofinite,...
متن کاملDescent of Semidualizing Complexes for Rings with the Approximation Property
Let R be a commutative noetherian local ring with completion b R. When R has the approximation property, we prove an approximation result for complexes with finitely generated homology. This is used to investigate descent of semidualizing complexes from b R to R. We show that, if R has the approximation property, then there is a bijective correspondence between semidualizing b R-complexes and s...
متن کاملExistential ∅-Definability of Henselian Valuation Rings
In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series F [[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability results for henselian valued fields with finite or pseudo-algebraically closed residue fields. §
متن کاملElementary constructive theory of Henselian local rings
We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.
متن کاملHenselian Local Rings: Around a Work in Progress
An introduction to the theme of local rings and Henselian local rings is given through numerous examples. We outline an elementary and effective construction of the Henselization of a local ring and an effective proof of about a classical result in Henselian local rings. This paper anounces a joint work of the three authors.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1983
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1983-0684510-2